Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
31	Documenta Mathematica Band 16, 2011 Richard Hill and David Loeffler Emerton’s Jacquet Functors for Non-Borel Parabolic Subgroups Chiarellotto, B. and Tsuzuki, N. Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-01-31 12:27:39 Mathematics Mathematical analysis Theoretical physics Lie algebras Algebraic geometry Operator theory Von Neumann algebra Algebraic K-theory Selmer group Filtration Algebraic structure Representation theory
32	arXiv:math/0104255v3 [math.GT] 20 MarCyclic actions and elliptic genera Anand Dessai Abstract Let M be a Spin-manifold with S 1 -action and let σ ∈ S 1 be of finite order. Add to Reading List Source URL: homeweb1.unifr.ch Language: English - Date: 2008-11-24 09:05:13 Mathematics Topology Abstract algebra Mathematical physics Genus of a multiplicative sequence Spin structure Modular form AtiyahSinger index theorem Orbifold
33	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
34	Index Theory and Spin Geometry Fabian Lenhardt and Lennart Meier March 20, 2010 Many of the familiar (and not-so-familiar) invariants in the algebraic topology of manifolds may be phrased as an index of an elliptic dier Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-04-01 06:08:20 Mathematics Topology Mathematical analysis Differential operators Differential geometry Elliptic partial differential equations Knights Bachelor Michael Atiyah AtiyahSinger index theorem Spin structure Genus of a multiplicative sequence Fredholm operator
35	JOURNAL OF FINANCIAL AND QUANTITATIVE ANALYSIS Vol. 51, No. 1, Feb 2016, pp. 1–33 COPYRIGHT 2016, MICHAEL G. FOSTER SCHOOL OF BUSINESS, UNIVERSITY OF WASHINGTON, SEATTLE, WA 98195 Add to Reading List Source URL: www.valta.ch Language: English - Date: 2016-03-14 09:37:14 Finance Economy Money Corporate finance Stock market Equity securities Debt Mathematical finance Capital structure Convertible bond Equity value Stock
36	Ramsey Classes by Partite Construction I Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2015-07-24 05:51:54 Mathematics Model theory Algebra Mathematical logic Ramsey theory Ramsey class Age Structure FO Semigroup Amalgamation property Isomorphism
37	Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:14 Logic Model theory Abstraction Mathematical logic Semantics Predicate logic Metalogic Structure Homomorphism Interpretation Symbol First-order logic
38	The c-boundary of spacetimes and its related boundaries in Differential Geometry Jónatan Herrera Fernández (joint work with José Luis Flores and Miguel Sánchez) Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Physics Theoretical physics Lorentzian manifolds Mathematical physics General relativity Theory of relativity Time in physics Penrose diagram Spacetime Metric tensor Globally hyperbolic manifold Causal structure
39	QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-06 02:29:00 Mathematics Mathematical analysis Order theory Structure Lattice theory Complete lattice Lattice Abstract interpretation Monotonic function Fixed point QuickCheck KnasterTarski theorem
40	Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:05 Logic Model theory Mathematics Mathematical logic Conjunctive query Structure First-order logic Substitution Relational algebra FO Interpretation Satisfiability